TSTP Solution File: DAT235^1 by SInE---0.4